Sascha Klüppelholz: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Alternating-time stream logic for multi-agent systems

Sascha Klüppelholz, Christel Baier

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 925 KB

english, 2010

2

Symbolic Model Checking for Channel-based Component Connectors

Sascha Klüppelholz, Christel Baier

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 404 KB

english, 2007

3

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo

Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 325 KB

english, 2010

4

Symbolic model checking for channel-based component connectors

Sascha Klüppelholz, Christel Baier

Journal:

Science of Computer Programming

Year:

2009

Language:

english

File:

PDF, 1.07 MB

english, 2009

5

Locks: Picking key methods for a scalable quantitative analysis

Baier, Christel, Daum, Marcus, Engel, Benjamin, Härtig, Hermann, Klein, Joachim, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus

Journal:

Journal of Computer and System Sciences

Year:

2015

Language:

english

File:

PDF, 1.50 MB

english, 2015

6

Compositional construction of most general controllers

Klein, Joachim, Baier, Christel, Klüppelholz, Sascha

Journal:

Acta Informatica

Year:

2015

Language:

english

File:

PDF, 1.03 MB

english, 2015

7

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Weight monitoring with linear temporal logic

Baier, Christel, Klein, Joachim, Klüppelholz, Sascha, Wunderlich, Sascha

Year:

2014

Language:

english

File:

PDF, 468 KB

english, 2014

8

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Trade-off analysis meets probabilistic model checking

Baier, Christel, Dubslaff, Clemens, Klüppelholz, Sascha

Year:

2014

Language:

english

File:

PDF, 180 KB

english, 2014

9

[ACM Press the 13th international conference - Lugano, Switzerland (2014.04.22-2014.04.26)] Proceedings of the 13th international conference on Modularity - MODULARITY '14 - Probabilistic model checking for energy analysis in software product lines

Dubslaff, Clemens, Klüppelholz, Sascha, Baier, Christel

Year:

2014

Language:

english

File:

PDF, 637 KB

english, 2014

10

ProFeat: feature-oriented engineering for family-based probabilistic model checking

Chrszon, Philipp, Dubslaff, Clemens, Klüppelholz, Sascha, Baier, Christel

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 1.12 MB

english, 2017

11

A Hardware/Software Stack for Heterogeneous Systems

Castrillon, Jeronimo, Lieber, Matthias, Kluppelholz, Sascha, Voelp, Marcus, Asmussen, Nils, Assmann, Uwe, Baader, Franz, Baier, Christel, Fettweis, Gerhard, Frohlich, Jochen

Journal:

IEEE Transactions on Multi-Scale Computing Systems

Year:

2017

Language:

english

File:

PDF, 2.43 MB

english, 2017

12

[ACM Press the 16th Workshop - Whistler, BC, Canada (2017.05.07-2017.05.10)] Proceedings of the 16th Workshop on Hot Topics in Operating Systems - HotOS '17 - Towards Automated Configuration of Systems with Non-Functional Constraints

Leuschner, Linda, Küttler, Martin, Stumpf, Tobias, Baier, Christel, Härtig, Hermann, Klüppelholz, Sascha

Year:

2017

Language:

english

File:

PDF, 279 KB

english, 2017

13

Configuration of inter-process communication with probabilistic model checking

Herrmann, Linda, Küttler, Martin, Stumpf, Tobias, Baier, Christel, Härtig, Hermann, Klüppelholz, Sascha

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

Language:

english

File:

PDF, 779 KB

english, 2019

14

Configuration of inter-process communication with probabilistic model checking

Herrmann, Linda, Küttler, Martin, Stumpf, Tobias, Baier, Christel, Härtig, Hermann, Klüppelholz, Sascha

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

File:

PDF, 779 KB

2019

15

Quantitative Characterization of Reconfigurable Transistor Logic Gates

Raitza, Michael, Marcker, Steffen, Trommer, Jens, Heinzig, Andre, Kluppelholz, Sascha, Baier, Christel, Kumar, Akash

Journal:

Year:

2020

File:

PDF, 4.09 MB

2020